Deterministic automaton

Results: 176



#Item
51

PDF Document

Add to Reading List

Source URL: web.engr.illinois.edu

Language: English - Date: 2014-12-28 09:05:01
52Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an

Add to Reading List

Source URL: rpgoldman.goldman-tribe.org

Language: English - Date: 2013-06-12 10:51:30
53Oracle Pushdown Automata for Trees in Prefix Notation

Oracle Pushdown Automata for Trees in Prefix Notation

Add to Reading List

Source URL: www.dcs.kcl.ac.uk

Language: English - Date: 2010-02-18 04:52:05
54CS109B Notes for LectureNondeterministic Automata Looking for Substrings We can build an NFA to recognize a string that ends in any given substring a1a2 a if we:

CS109B Notes for LectureNondeterministic Automata Looking for Substrings We can build an NFA to recognize a string that ends in any given substring a1a2 a if we:

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-19 00:58:53
55Reducing the size of NFAs by using equivalences and preorders L UCIAN I LIE ROBERTO S OLIS -O BA

Reducing the size of NFAs by using equivalences and preorders L UCIAN I LIE ROBERTO S OLIS -O BA

Add to Reading List

Source URL: www.cs.ucr.edu

Language: English - Date: 2005-07-08 16:23:57
56A Turing Machine Resisting Isolated Bursts Of Faults

A Turing Machine Resisting Isolated Bursts Of Faults

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2013-03-28 00:33:04
57Greedy Regular Expression Matching Alain Frisch1,2,? and Luca Cardelli3 2 1 ´ Ecole Normale Sup´erieure (Paris)

Greedy Regular Expression Matching Alain Frisch1,2,? and Luca Cardelli3 2 1 ´ Ecole Normale Sup´erieure (Paris)

Add to Reading List

Source URL: www.cduce.org

Language: English - Date: 2013-12-06 16:18:28
58Recognizing regular tree languages with static information Alain Frisch (ENS Paris) PLAN-X 2004 p.1/22

Recognizing regular tree languages with static information Alain Frisch (ENS Paris) PLAN-X 2004 p.1/22

Add to Reading List

Source URL: www.cduce.org

Language: English - Date: 2013-12-06 16:18:34
59software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave

software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave

Add to Reading List

Source URL: media.pragprog.com

Language: English - Date: 2007-10-31 17:44:24
60Honors Class (Foundations of) Informatics Tom Verhoeff Department of Mathematics & Computer Science Software Engineering & Technology www.win.tue.nl/~wstomv/edu/hci

Honors Class (Foundations of) Informatics Tom Verhoeff Department of Mathematics & Computer Science Software Engineering & Technology www.win.tue.nl/~wstomv/edu/hci

Add to Reading List

Source URL: www.win.tue.nl

Language: English - Date: 2011-10-17 18:08:03